extern int top;

int is_empty(void) {
	return top == -1;
}
